<!DOCTYPE html>
<html>
<head>
</head>
    <style>
        * {
            margin: 0;
            padding: 0
        }
    </style>
    <body onresize="top.drawNavSideBar();" onload="top.drawNavSideBar();top.load_metrics();">
      <canvas id="canvas" title="navigate to highlighted lines"></canvas>
    </body>
</html>
